home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.text.html;
-
- import javax.swing.text.AbstractDocument;
- import javax.swing.text.AttributeSet;
- import javax.swing.text.BadLocationException;
- import javax.swing.text.PlainDocument;
-
- class TextAreaDocument extends PlainDocument {
- String initialText;
-
- void reset() {
- try {
- ((AbstractDocument)this).remove(0, ((AbstractDocument)this).getLength());
- if (this.initialText != null) {
- ((AbstractDocument)this).insertString(0, this.initialText, (AttributeSet)null);
- }
- } catch (BadLocationException var1) {
- }
-
- }
-
- void storeInitialText() {
- try {
- this.initialText = ((AbstractDocument)this).getText(0, ((AbstractDocument)this).getLength());
- } catch (BadLocationException var1) {
- }
-
- }
- }
-